abstract class $NEXT{T}
****
The interface obeyed by classes which include NEXT{T}.


Descendants
$AM_STMT AM_TYPECASE_STMT AM_UNLOCK_STMT AM_IF_STMT
AM_ASSERT_STMT AM_SYNC_STMT AM_RAISE_STMT AM_INVARIANT_STMT
AM_PREFETCH_STMT AM_CASE_STMT AM_EXPR_STMT AM_COMMENT_STMT
AM_ATTACH_STMT AM_WAITFOR_STMT AM_LOCK_STMT AM_BREAK_STMT
AM_LOOP_STMT AM_POST_STMT AM_WITH_NEAR_STMT AM_YIELD_STMT
AM_ASSIGN_STMT AM_PRE_STMT AM_PROTECT_STMT AM_INITIAL_STMT
AM_RETURN_STMT $AS_EXPR AS_RESULT_EXPR AS_AT_EXPR
AS_INT_LIT_EXPR AS_NEW_EXPR AS_BOOL_LIT_EXPR AS_FLT_LIT_EXPR
AS_INITIAL_EXPR AS_SELF_EXPR AS_CREATE_EXPR AS_VOID_EXPR
AS_CALL_EXPR AS_BREAK_EXPR AS_CLUSTER_EXPR AS_IS_VOID_EXPR
AS_WHERE_EXPR AS_STR_LIT_EXPR AS_NEAR_EXPR AS_UNDERSCORE_ARG
AS_EXPR AS_HERE_EXPR AS_CHAR_LIT_EXPR AS_ANY_EXPR
AS_FAR_EXPR AS_BOUND_CREATE_EXPR AS_COHORT_EXPR AS_EXCEPT_EXPR
AS_ARRAY_EXPR AS_OR_EXPR AS_CLUSTER_SIZE_EXPR AS_AND_EXPR
AS_TYPECASE_WHEN $AS_STMT AS_QUIT_STMT AS_UNLOCK_STMT
AS_STMT AS_YIELD_STMT AS_CASE_STMT AS_PROTECT_STMT
AS_ASSERT_STMT AS_PAR_STMT AS_WITH_NEAR_STMT AS_RAISE_STMT
AS_DEC_STMT AS_SYNC_STMT AS_ASSIGN_STMT AS_INTERF_ATTACH_STMT
AS_EXPR_STMT AS_TYPECASE_STMT AS_LOOP_STMT AS_ATTACH_STMT
AS_IF_STMT AS_LOCK_STMT AS_FORK_STMT AS_RETURN_STMT
$AS_CLASS_ELT AS_INCLUDE_CLAUSE AS_CONST_DEF AS_CLASS_ELT
AS_ROUT_DEF AS_ATTR_DEF AS_SHARED_DEF DATABUCKET{_,_}



Public


Features
append(l:T);
**** Append the list `l' to the end of the list self. self may not be void but `l' may be.
insert(e:T);
**** Insert the single element `e' after self. Neither may be void.
next:T;
**** Pointer to next element in list, if any.
next(e:T);
**** Set next pointer to `e'.
size:INT;
**** The number of elements in the list starting with self. Self may be void.